Hydrogen Refueling Process: Theory, Modeling, and In-Force Applications

Surgical Process Modeling - Theory, Methods, and Applications -

Modeling technology diffusion of complementary goods: The case of hydrogen vehicles and refueling infrastructure

Hydrogen has emerged as a possible transportation fuel for addressing long-term, sustainable energy supply, security, and environmental problems. Yet, there are a number of barriers that need to be overcome if hydrogen vehicles are ever to penetrate transportation markets, not the least of which is the development of a vehicle–infrastructure system. Hydrogen vehicles and refueling infrastructur...

Theory and applications of quantum process calculus

Formal methods is an area in theoretical computer science that provides the theories and tools for describing and verifying the correctness of computing systems. Usually, such systems comprise of concurrent and communicating components. The success of this field led to the development of quantum formal methods by transferring the ideas of formal methods to quantum systems. In particular, formal...

EMPIRICAL PROCESS THEORY AND APPLICATIONS by Sara

The Process Specification Language: Theory and Applications

As the use of information technology in manufacturing operations has matured, the need to integrate software applications has become increasingly important. However, interoperability among these manufacturing applications is hindered because the applications use different terminology and representations of the domain. These problems arise most acutely for systems that must manage the heterogene...